VDM Specification of an Algorithm for Graph Decomposition
نویسندگان
چکیده
More specifically, a decomposition algorithm that produces several disjoint paths, the union of which results in the original graph has been developed and VDM specification of the process is described. The advantage of specifying the algorithm in VDM is to introduce rigour and to eliminate inconsistencies and ambiguity, facilitating code development for the purpose of automated implementation of the proposed algorithm.
منابع مشابه
Graph Clustering by Hierarchical Singular Value Decomposition with Selectable Range for Number of Clusters Members
Graphs have so many applications in real world problems. When we deal with huge volume of data, analyzing data is difficult or sometimes impossible. In big data problems, clustering data is a useful tool for data analysis. Singular value decomposition(SVD) is one of the best algorithms for clustering graph but we do not have any choice to select the number of clusters and the number of members ...
متن کاملAlgorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance
Battlefield surveillance requires mission-critical operations and tasks which can effectively be performed using Wireless Sensor and Actor Networks (WSANs). We have used clustering approach for deployment of WSAN to minimize energy consumption and to limit the processing cost. The adverse environment conditions in battlefield may cause a loss of connectivity but there is a need of continuous fl...
متن کاملData and Control Flow Analysis of VDMμ Specifications
Formal Specification languages are being widely used for system specification and testing. Highly critical systems such as real time systems, avionics, and medical systems are represented using Formal specification languages. Formal specifications based testing is mostly performed using black box testing approaches thus testing only the set of inputs and outputs of the system. The formal specif...
متن کاملUsing the Vienna Development Method (VDM) to Formalize a Communication Protocol
The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model-oriented specification language, Meta-IV. VDM is also an informal collection of experiences in formal specification within several application domains. This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.
متن کاملAccelerated decomposition techniques for large discounted Markov decision processes
Many hierarchical techniques to solve large Markov decision processes (MDPs) are based on the partition of the state space into strongly connected components (SCCs) that can be classified into some levels. In each level, smaller problems named restricted MDPs are solved, and then these partial solutions are combined to obtain the global solution. In this paper, we first propose a novel algorith...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JDIM
دوره 5 شماره
صفحات -
تاریخ انتشار 2007